翻訳と辞書 Words near each other ・ John Watkins (Canadian diplomat) ・ John Watkins (mayor) ・ John Watkins (photographer) ・ John Watkins (South African cricketer) ・ John Watkins (Virginia politician) ・ John Watkins (writer) ・ John Watkins Brett ・ John Watkins Crockett, Jr. ・ John Watkins Oliver ・ John Watkinson ・ John Watkiss ・ John Watling ・ John Watmuff ・ John Watney ・ John Watrous ・ John Watrous (computer scientist) ・ John Watson ・ John Watson (16th-century MP) ・ John Watson (activist) ・ John Watson (American football) ・ John Watson (American painter) ・ John Watson (antiquary) ・ John Watson (Australian politician) ・ John Watson (bishop) ・ John Watson (bowls) ・ John Watson (boxer) ・ John Watson (British politician) ・ John Watson (college president) ・ John Watson (cricketer) ・ John Watson (curler) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク John Watrous (computer scientist) ： ウィキペディア英語版 John Watrous (computer scientist) John Harrison Watrous is a professor of computer science at the David R. Cheriton School of Computer Science at the University of Waterloo, a member of the Institute for Quantum Computing, an affiliate member of the Perimeter Institute for Theoretical Physics and a Fellow of the Canadian Institute for Advanced Research.〔(John Watrous ) at the Canadian Institute for Advanced Research website.〕〔(John Watrous ) at the QuantumWorks website.〕 He was a faculty member in the Department of Computer Science at the University of Calgary from 2002 to 2006 where he held a Canada Research Chair in quantum computing.〔 He is an editor of the journal Theory of Computing〔(List of editors of Theory of Computing ).〕 and former editor for the journal ''Quantum Information & Computation''.〔(List of editors of Quantum Information & Computation ).〕 His research interests include quantum information and quantum computation. He is well known for his work on quantum interactive proofs, and the quantum analogue of the celebrated result IP equals PSPACE, QIP equals PSPACE. This was preceded by a series of results, showing QIP can be constrained to 3 messages, QIP is contained in EXP, and the 2-message version of QIP is in PSPACE. He has also published important papers on quantum finite automata〔.〕 and quantum cellular automata.〔.〕 With Scott Aaronson, he showed that certain forms of time travel can make quantum and classical computation equivalent: together, the authors showed that quantum effects do not offer advantages for computation if computers can send information to the past through a type of closed timelike curve proposed by the physicist David Deutsch. He obtained his Ph.D. in 1998 at the University of Wisconsin–Madison under the supervision of Eric Bach.〔.〕〔(John Watrous ) at the Institute for Quantum Computing directory.〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「John Watrous (computer scientist)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.